1. A discipline of programming /
Author: Edsger W. Dijkstra
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming
Classification :
QA76
.
6
.
D54
2. A methodology for automated service level agreement compliance prediction
Author: Yassin Kassab, Rouaa
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
3. Advances in GPU research and practice /
Author: edited by Hamid Sarbazi-Azad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Graphics processing units-- Programming.,Image processing-- Digital techniques.,Imaging systems.,Computer graphics.,COMPUTERS-- General.,Image processing-- Digital techniques.,Imaging systems.
Classification :
T385
4. Agent-Based Defeasible Control in Dynamic Environments.
Author: Dov M Gabbay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
Q339
.
D686
2010
5. Algebra and Coalgebra in Computer Science :
Author: José Luis Fiadeiro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
6. Algebraic Foundations of Systems Specification
Author: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
7. Algebraic semantics
Author: Guessarian, Irene
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages-- Semantics
Classification :
QA
267
.
3
.
G84
8. Algebraic semantics
Author: Irene Guessarian
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Formal languages -- Semantics
Classification :
QA
76
.
L28
Vol
.
99
10. An anatomy of Chinese :
Author: Perry Link
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chinese language-- Metaphors,Chinese language-- Political aspects,Chinese language-- Rhythm,Chinese language-- Semantics,Chinese language, Terms and phrases
Classification :
PL1279
.
L483
2013
11. Analog and Mixed-Signal Hardware Description Language
Author: edited by Alain Vachoux, Jean-Michel Bergé, Oz Levia, Jacques Rouillard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer hardware.,Computer science.
12. Applications and Theory of Petri Nets :
Author: edited by Anastasia Pagnoni, Grzegorz Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA267
.
E358
1983
13. Argument structure and grammatical relations :
Author: edited by Pirkko Suihkonen, Bernard Comrie, Valery Solovyev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic books; Electronic book
14. Artificial intelligence :
Author: edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Software Engineering.,Artificial intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.
Classification :
Q334
15. Aspect, Modality, and Tense in Badiaranke
Author: Cover, Rebecca Tamar
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
16. Aspects of Philosophical Logic :
Author: edited by Uwe Mönnich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics -- Philosophy.,Logic.,Philosophy (General)
17. Automata, Languages and Programming :
Author: edited by Hermann A. Maurer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Software engineering.,Theory of Computation.
18. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
19. Automata, languages and programming :
Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Machine theory.
Classification :
QA267
.
J543
1991
